2

First Course in Mathematical Logicby Patrick Suppes; Shirley Hill

Year:
1967
Language:
english
File:
PDF, 350 KB
english, 1967
4

Bertrand Russell's Dictionary of Mind, Matter and Moralsby Bertrand Russell

Year:
1966
Language:
english
File:
PDF, 222 KB
english, 1966
5

Effectively Decidable Theoriesby Alan Cobham

Year:
1966
Language:
english
File:
PDF, 184 KB
english, 1966
7

Cylindric Algebrasby Leon Henkin; Alfred Tarski

Year:
1967
Language:
english
File:
PDF, 360 KB
english, 1967
8

Introduction to Metamathematicsby Stephen Cole Kleene

Year:
1968
Language:
english
File:
PDF, 329 KB
english, 1968
10

The Form of the Negation of a Predicateby J. R. Shoenfield

Year:
1968
Language:
english
File:
PDF, 228 KB
english, 1968
11

Formal Post Calculi and Finite Automataby M. I. Kratko

Year:
1967
Language:
english
File:
PDF, 189 KB
english, 1967
12

Enumeration of Recursive Setsby Yoshindo Suzuki

Year:
1968
Language:
english
File:
PDF, 216 KB
english, 1968
14

Cylindrical Algebrasby Leon Henkin; Alfred Tarski

Year:
1967
Language:
english
File:
PDF, 213 KB
english, 1967
16

On the Elementary Theory of Lattices of Subgroupsby M. I. Kargapolov

Year:
1967
Language:
english
File:
PDF, 328 KB
english, 1967
19

A New Principle of Construction of Logical Machinesby László Kalmár

Year:
1966
Language:
english
File:
PDF, 204 KB
english, 1966
20

Logic as a Source of Syntactical Insightsby W. V. Quine

Year:
1966
Language:
english
File:
PDF, 304 KB
english, 1966
24

Philosophical Analysis, Collection of Essaysby Max Black

Year:
1966
Language:
english
File:
PDF, 342 KB
english, 1966
25

ABC's of Boolean Algebraby Allan Lytel

Year:
1967
Language:
english
File:
PDF, 295 KB
english, 1967